// todo对象的接口类型
export interface Todo {
  id: number;
  title: string;
  complete: boolean
}

export type Todos = Todo[]